1. Constraint solving and language processing
Author: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
Classification :
QA
76
.
612
.
C637
2005
2. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
Author: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
Classification :
QA
76
.
L28
Vol
.
3438
3. Constraint solving over multi-valued logics :
Author: Francisco Azevedo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
Classification :
QA76
.
612
.
A94
2003eb
4. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
Author: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constraint programming )Computer science(,، Logic programming
Classification :
QA
76
.
L28
Vol
.
2002
5. Functional and constraint logic programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
6. Functional and constraint logic programming
Author: / Santiago Escobar (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
Classification :
QA
,
76
.
62
,.
W45
,
2009
7. Functional and constraint logic programming :
Author: Josep Silva (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
Classification :
QA76
.
62
8. Functional and constraint logic programming
Author: / Santiago Escobar (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
Classification :
QA76
.
62
.
W45
2010
9. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
10. Programming with constraints: an introduction
Author: Marriott, Kim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Constraint programming )Computer science(
Classification :
QA
76
.
63
.
M37
1998
11. Recent advances in constraints
Author: / Boi Faltings ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic programming, -- Congresses,a05,Constraint programming (Computer science)--Congresses.
Classification :
QA76
.
612
.
J65
2004
12. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
13. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
14. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
